Subalgebras of FA-presentable algebras
نویسندگان
چکیده
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable algebras. First, an example is given to show that the class of finitely generated FA-presentable algebras is not closed under forming finitely generated subalgebras, even within the class of algebras with only unary operations. However, it is proven that a finitely generated subalgebra of an FA-presentable algebra with a single unary operation is itself FA-presentable. Furthermore, it is proven that the class of unary FA-presentable algebras is closed under forming finitely generated subalgebras, and that the membership problem for such subalgebras is decidable.
منابع مشابه
Profinite Monads, Profinite Equations, and Reiterman's Theorem
Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman’s theorem states that they precisely specify pseudovarieties, i.e. classes of finite algebras closed under finite products, subalgebras and quotients. In this paper Reiterman’s theorem is generalised to finite Eilenberg-Moore algebras for a monad T on a variety D of (ordered) algebras: ...
متن کاملREDEFINED FUZZY SUBALGEBRAS OF BCK/BCI-ALGEBRAS
Using the notion of anti fuzzy points and its besideness to and nonquasi-coincidence with a fuzzy set, new concepts in anti fuzzy subalgebras in BCK/BCI-algebras are introduced and their properties and relationships are investigated.
متن کاملBirkhoff’s Variety Theorem with and without Free Algebras
For large signatures Σ we prove that Birkhoff’s Variety Theorem holds (i.e., equationally presentable collections of Σ-algebras are precisely those closed under limits, subalgebras, and quotient algebras) iff the universe of small sets is not measurable. Under that limitation Birkhoff’s Variety Theorem holds in fact for F -algebras of an arbitrary endofunctor F of the category Class of classes ...
متن کاملFA-presentable Groups and Rings
We consider structures which are FA-presentable. It is known that an FA-presentable finitely generated group is virtually abelian; we strengthen this result by showing that an arbitrary FA-presentable group is locally virtually abelian. As a consequence, we prove that any FA-presentable ring is locally finite; this is a significant restriction and allows us to say a great deal about the structu...
متن کاملCHEBYSHEV SUBALGEBRAS OF JB-ALGEBRAS
In this note, we characterize Chebyshev subalgebras of unital JB-algebras. We exhibit that if B is Chebyshev subalgebra of a unital JB-algebra A, then either B is a trivial subalgebra of A or A= H R .l, where H is a Hilbert space
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1206.5548 شماره
صفحات -
تاریخ انتشار 2012